Model of computation

Results: 512



#Item
141Presentation Plan →History and origins of parallel models for Eas →Design Issues of a Parallel Model →Canonical parallel models →

Presentation Plan →History and origins of parallel models for Eas →Design Issues of a Parallel Model →Canonical parallel models →

Add to Reading List

Source URL: cs.gmu.edu

Language: English - Date: 2007-06-21 16:40:25
142A Loop Acceleration Technique to Speed Up Verification of Automatically-Generated Plans Robert P. Goldman and Michael J.S. Pelican and David J. Musliner SIFT, LLC 211 N. First St. Minneapolis, MN 55401

A Loop Acceleration Technique to Speed Up Verification of Automatically-Generated Plans Robert P. Goldman and Michael J.S. Pelican and David J. Musliner SIFT, LLC 211 N. First St. Minneapolis, MN 55401

Add to Reading List

Source URL: icaps11.icaps-conference.org

Language: English - Date: 2013-04-15 04:52:48
143Event Structures, Stable Families and Concurrent Games Notes for “Distributed Games and Strategies” ACS2015 Glynn Winskel

Event Structures, Stable Families and Concurrent Games Notes for “Distributed Games and Strategies” ACS2015 Glynn Winskel

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2015-02-19 08:49:32
144Independence and Concurrent Separation Logic Jonathan Hayman and Glynn Winskel Computer Laboratory, University of Cambridge Abstract A compositional Petri net based semantics is given to a simple pointer-manipulating lan

Independence and Concurrent Separation Logic Jonathan Hayman and Glynn Winskel Computer Laboratory, University of Cambridge Abstract A compositional Petri net based semantics is given to a simple pointer-manipulating lan

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2006-05-30 05:29:39
145Planning as Model Checking in Hybrid Domains Sergiy Bogomolov Daniele Magazzeni Andreas Podelski

Planning as Model Checking in Hybrid Domains Sergiy Bogomolov Daniele Magazzeni Andreas Podelski

Add to Reading List

Source URL: ai.cs.unibas.ch

Language: English - Date: 2014-07-02 05:16:10
146Automated Grading of DFA Constructions Rajeev Alur and Loris D’Antoni Sumit Gulwani Dileep Kini and Mahesh Viswanathan Department of Computer Science Microsoft Research Department of Computer Science

Automated Grading of DFA Constructions Rajeev Alur and Loris D’Antoni Sumit Gulwani Dileep Kini and Mahesh Viswanathan Department of Computer Science Microsoft Research Department of Computer Science

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2013-05-16 00:14:15
147Position Statement Radu Grosu Department of Computer Science State University of New York at Stony Brook Stony Brook, NY, USA email:

Position Statement Radu Grosu Department of Computer Science State University of New York at Stony Brook Stony Brook, NY, USA email:

Add to Reading List

Source URL: ti.tuwien.ac.at

Language: English - Date: 2012-06-28 12:13:04
148Microsoft PowerPoint - DSCpetcu

Microsoft PowerPoint - DSCpetcu

Add to Reading List

Source URL: www.risc.jku.at

Language: English - Date: 2007-07-09 07:38:37
149ISSUES IN THE CONVERGENCE OF CONTROL WITH COMMUNICATION AND COMPUTATION BY SCOTT R. GRAHAM B.S., Brigham Young University, 1993

ISSUES IN THE CONVERGENCE OF CONTROL WITH COMMUNICATION AND COMPUTATION BY SCOTT R. GRAHAM B.S., Brigham Young University, 1993

Add to Reading List

Source URL: www.sigmobile.org

Language: English - Date: 2013-08-14 12:38:09
150HASL: a New Approach for Performance Evaluation and Model Checking from Concepts to Experimentation Paolo Ballarini, Benoˆıt Barbot, Marie Duflot, Serge

HASL: a New Approach for Performance Evaluation and Model Checking from Concepts to Experimentation Paolo Ballarini, Benoˆıt Barbot, Marie Duflot, Serge

Add to Reading List

Source URL: www.lsv.ens-cachan.fr

Language: English - Date: 2015-03-25 18:43:01